Added a patch to correct Map.fold order.
authorSamuel Mimram <samuel.mimram@ens-lyon.org>
Thu, 8 Sep 2005 18:42:10 +0000 (18:42 +0000)
committerSamuel Mimram <samuel.mimram@ens-lyon.org>
Thu, 8 Sep 2005 18:42:10 +0000 (18:42 +0000)
commite2364d2fa2bf1444bc1cd8b20b1b19a2aa2dd586
tree5dace324116a67858c167653ef1e7384323dd0db
parent736e2f8ded0ca052ce0c3c0ca346a2dc3faaa270
Added a patch to correct Map.fold order.
debian/changelog
debian/patches/00list
debian/patches/map_fold_order.dpatch [new file with mode: 0755]